More from this Author
Found 6 books by Natasha Sharygina (Editor)
Validation of Evolving Software
by Hana Chockler (Editor), Daniel Kroening (Editor), Leonardo Mariani (Editor), Natasha Sharygina (Editor)
Computer Aided Verification
by Natasha Sharygina (Editor), Helmut Veith (Editor)
Computer Aided Verification
by Natasha Sharygina (Editor), Helmut Veith (Editor)
Validation of Evolving Software
by Hana Chockler (Editor), Daniel Kroening (Editor), Leonardo Mariani (Editor), Natasha Sharygina (Editor)
Computer Aided Verification
by Natasha Sharygina (Editor), Helmut Veith (Editor)
Validation of Evolving Software
by Hana Chockler (Editor), Daniel Kroening (Editor), Leonardo Mariani (Editor), Natasha Sharygina (Editor)